Communication Performance Models in Prism : A SpectralElement - Fourier

نویسندگان

  • Constantinos Evangelinos
  • George Em Karniadakis
چکیده

In this paper we analyze communication patterns in the parallel three-dimensional Navier-Stokes solver Prism , and present performance results on the IBM SP2, the Cray T3D and the SGI Power Challenge XL. Prism is used for direct numerical simulation of turbulence in non-separable and multiply-connected domains. The numerical method used in the solver is based on mixed spectral element-Fourier expansions in (x ? y) planes and z?direction, respectively. Each (or a group) of Fourier modes is computed on a separate processor as the linear contributions (Helmholtz solves) are completely uncoupled in the incompressible Navier-Stokes equations; coupling is obtained via the nonlinear contributions (convective terms). The transfer of data between physical and Fourier space requires a series of complete exchange operations, which dominate the communication cost for small number of processors. As the number of processors increases, global reduction and gather operations become important while complete exchange becomes more latency dominated. Predictive models for these communication operations are proposed and tested against measurements. A relatively large variation in communication timings per iteration is observed in simulations and quantiied in terms of speciic operations. A number of improvements are proposed that could signiicantly reduce the communications overhead with increasing numbers of processors, and generic predictive maps are developed for the complete exchange operation, which remains the fundamental communication in Prism. Results presented in this paper are representative of a wider class of parallel spectral and nite element codes for computational mechanics which require similar communication operations.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mini - symposium A 14 High - Order Methods and Their Applications

We design adaptive high-order Galerkin methods for the solution of linear elliptic problems and study their performance. We start by considering adaptive Fourier-Galerkin methods and Legendre spectralelement methods, which offer unlimited approximation power only restricted by solution and data regularity. We next turn our attention to the $hp$-version of the finite element method, for which we...

متن کامل

Parallel Benchmarks of Turbulencein Complex Geometries ?

In this paper we present benchmark results from the parallel implementation of the three{dimensional Navier{Stokes solver Prism on diierent parallel platforms of current interest: IBM SP2 (all three types of processors), SGI Power Challenge XL and Cray C90. The numerical method is based on mixed spectral element{ Fourier expansions in (x ? y) and z?directions, respectively. Each (or a group) of...

متن کامل

Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM

We report our experience with formulating and analyzing in the probabilistic model checker PRISM various closely related web server performance models that were previously described in literature in terms of classical queuing theory. By our work various ambiguities and deficiencies (also errors) are revealed; in particular, the PRISM models which combine state machines descriptions with perform...

متن کامل

Fractional Fourier Transform Based OFDMA for Doubly Dispersive Channels

The performance of Orthogonal Frequency Division Multiple Access (OFDMA) system degrades significantly in doubly dispersive channels. This is due to the fact that exponential sub-carriers do not match the singular functions of this type of channels. To solve this problem, we develop a system whose sub-carriers are chirp functions. This is equivalent to exploiting Fractional Fourier Transform (F...

متن کامل

PRISM: Probabilistic Symbolic Model Checker

In this paper we describe PRISM, a tool being developed at the University of Birmingham for the analysis of probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, continuous-time Markov chains and Markov decision processes. Analysis is performed through model checking such systems against specifications written in the probabilistic temporal logics PCTL an...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996